La filosofía de la lógica es el área de la filosofía que estudia el alcance y la naturaleza de la lógica. Investiga los problemas filosóficos planteados por la lógica, como las presuposiciones que a menudo actúan implícitamente en las teorías de la lógica y en su aplicación. Esto implica preguntas sobre cómo debe definirse la lógica y cómo se relacionan los diferentes sistemas lógicos entre sí. Incluye el estudio de la naturaleza de los conceptos fundamentales usados por la lógica y la relación de la lógica con otras disciplinas. Según una caracterización común, la lógica filosófica es la parte de la filosofía de la lógica que estudia la aplicación de métodos lógicos a problemas filosóficos, a menudo en forma de sistemas lógicos extendidos como la lógica modal. Pero otros teóricos establecen la distinción entre la filosofía de la lógica y la lógica filosófica de manera diferente o no la establecen en absoluto. La metalógica está estrechamente relacionada con la filosofía de la lógica como la disciplina que investiga las propiedades de los sistemas lógicos formales, como la consistencia y la completitud.

En la literatura académica se encuentran varias caracterizaciones de la naturaleza de la lógica. La lógica a menudo se ve como el estudio de las leyes del pensamiento, el razonamiento correcto, la inferencia válida o la verdad lógica. Es una ciencia formal que investiga cómo las conclusiones se derivan de las premisas de una manera neutral al tema, es decir, independientemente del asunto específico discutido. Una forma de investigar la naturaleza de la lógica se centra en los puntos comunes entre los distintos sistemas formales lógicos y en cómo difieren de los sistemas formales no lógicos. Consideraciones importantes a este respecto son si el sistema formal en cuestión es compatible con las intuiciones lógicas fundamentales y si es completo. Las diferentes concepciones de la lógica pueden distinguirse en función de si definen la lógica como el estudio de la inferencia válida o de la verdad lógica. Otra distinción entre las concepciones de la lógica se basa en si los criterios de inferencia válida y de verdad lógica se especifican en términos de sintaxis o de semántica.

A menudo se distinguen diferentes tipos de lógica. La lógica suele entenderse como lógica formal y se trata como tal en la mayor parte de este artículo. La lógica formal solo se interesa por la forma de los argumentos, expresados en un lenguaje formal, y se centra en las inferencias deductivas. La lógica informal, por otro lado, aborda una gama mucho más amplia de argumentos que también se encuentran en el lenguaje natural, y que incluyen argumentos no deductivos. La corrección de los argumentos puede depender de otros factores además de su forma, como su contenido o su contexto. En el siglo XX se han desarrollado varios sistemas formales lógicos, las llamadas "lógicas", y la tarea de la filosofía de la lógica es clasificarlos, mostrar cómo se relacionan entre sí y abordar el problema de cómo puede haber una multitud de lógicas en contraste con una lógica universalmente verdadera. Estas lógicas pueden dividirse en la lógica clásica, normalmente identificada con la lógica de primer orden, lógicas extendidas y lógicas desviadas. Las lógicas extendidas aceptan el formalismo básico y los axiomas de la lógica clásica, pero los extienden con un nuevo vocabulario lógico. Las lógicas desviadas, por otro lado, rechazan ciertos supuestos básicos de la lógica clásica y, por lo tanto, son incompatibles con ella.

La filosofía de la lógica también investiga la naturaleza y las implicaciones filosóficas de los conceptos fundamentales de la lógica. Esto incluye el problema de la verdad, especialmente de la verdad lógica, que puede definirse como verdad dependiendo solo de los significados de los términos lógicos utilizados. Otra cuestión se refiere a la naturaleza de las premisas y conclusiones, es decir, si deben entenderlas como pensamientos, proposiciones u oraciones, y cómo se componen de constituyentes más simples. Juntas, las premisas y la conclusión constituyen una inferencia, que puede ser o deductiva o ampliativa, dependiendo de si preserva necesariamente la verdad o introduce información nueva y posiblemente falsa. Una preocupación central en la lógica es si una inferencia deductiva es válida o no. La validez se define a menudo en términos de necesidad, es decir, una inferencia es válida si y solo si es imposible que las premisas sean verdaderas y la conclusión falsa. Las inferencias y los argumentos incorrectos, por otro lado, no respaldan su conclusión. Pueden clasificarse como falacias formales o informales, dependiendo de si pertenecen a la lógica formal o informal. La lógica se ha ocupado principalmente de las reglas definitorias, es decir, de la cuestión de qué reglas de inferencia determinan si un argumento es válido o no. Un tema de investigación separado se refiere a las reglas estratégicas de la lógica: las reglas que gobiernan cómo llegar a una conclusión prevista dado un cierto conjunto de premisas, es decir, qué inferencias hay que hacer para llegar a ella.

La metafísica de la lógica se ocupa del estado metafísico de las leyes y los objetos de la lógica. Una disputa importante en este campo es entre los realistas, que sostienen que la lógica se basa en hechos que tienen una existencia independiente de la mente, y los antirrealistas como los convencionalistas, que sostienen que las leyes de la lógica se basan en las convenciones que rigen el uso del lenguaje. La lógica está estrechamente relacionada con varias disciplinas. Una cuestión central con respecto a la ontología se refiere a los compromisos ontológicos asociados con el uso de la lógica, por ejemplo, con los términos singulares y los cuantificadores existenciales. Una pregunta importante en las matemáticas es si todas las verdades matemáticas pueden fundamentarse en los axiomas de la lógica junto con la teoría de conjuntos. Otros campos relacionados incluyen la informática y la psicología.